Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Results by year

Table representation of search results timeline featuring number of search results per year.

Year Number of Results
1987 1
1993 1
2003 1
2009 1
2011 2
2012 2
2013 1
2014 1
2015 2
2016 3
2017 3
2018 2
2019 1
2020 3
2021 3
2022 3
2024 0

Text availability

Article attribute

Article type

Publication date

Search Results

24 results

Results by year

Filters applied: . Clear all
Page 1
Automated theorem proving.
Plaisted DA. Plaisted DA. Wiley Interdiscip Rev Cogn Sci. 2014 Mar;5(2):115-28. doi: 10.1002/wcs.1269. Epub 2014 Jan 17. Wiley Interdiscip Rev Cogn Sci. 2014. PMID: 26304304
Automated theorem proving is the use of computers to prove or disprove mathematical or logical statements. ...A brief introduction to propositional and first-order logic is given, along with some of the main methods of automated theorem proving in thes …
Automated theorem proving is the use of computers to prove or disprove mathematical or logical statements. ...A brief introduc …
Computational logic: its origins and applications.
Paulson LC. Paulson LC. Proc Math Phys Eng Sci. 2018 Feb;474(2210):20170872. doi: 10.1098/rspa.2017.0872. Epub 2018 Feb 28. Proc Math Phys Eng Sci. 2018. PMID: 29507522 Free PMC article. Review.
The main application of these techniques has been to prove the correctness of hardware and software systems, but increasingly researchers have been applying them to mathematics itself....
The main application of these techniques has been to prove the correctness of hardware and software systems, but increasingly researc …
Proof Complexity of Modal Resolution.
Sigley S, Beyersdorff O. Sigley S, et al. J Autom Reason. 2022;66(1):1-41. doi: 10.1007/s10817-021-09609-9. Epub 2021 Oct 13. J Autom Reason. 2022. PMID: 35068630 Free PMC article.
We investigate the proof complexity of modal resolution systems developed by Nalon and Dixon (J Algorithms 62(3-4):117-134, 2007) and Nalon et al. (in: Automated reasoning with analytic Tableaux and related methods-24th international conference, (TABLEAUX'15), pp 185-200, …
We investigate the proof complexity of modal resolution systems developed by Nalon and Dixon (J Algorithms 62(3-4):117-134, 2007) and …
The role of theorem proving in systems biology.
Wolkenhauer O, Shibata D, Mesarović MD. Wolkenhauer O, et al. J Theor Biol. 2012 May 7;300:57-61. doi: 10.1016/j.jtbi.2011.12.023. Epub 2011 Dec 30. J Theor Biol. 2012. PMID: 22244914
Theorems offer a rarity in biology, a guarantee that something will always be true if certain conditions are met. We show that modeling and theorem proving are distinct while playing mutually supporting roles in understanding cellular phenomena. ...Rather, theore …
Theorems offer a rarity in biology, a guarantee that something will always be true if certain conditions are met. We show that modeling and …
The search for organizing principles as a cure against reductionism in systems medicine.
Wolkenhauer O, Green S. Wolkenhauer O, et al. FEBS J. 2013 Dec;280(23):5938-48. doi: 10.1111/febs.12311. Epub 2013 May 24. FEBS J. 2013. PMID: 23621685 Free article. Review.
We here investigate the prospects for use of an old regulative ideal from systems theory to describe the organization of cellular systems 'in general' by identifying key concepts, challenges and strategies to pursue the search for organizing principles. We argue tha …
We here investigate the prospects for use of an old regulative ideal from systems theory to describe the organization of cellular …
Formalization of bond graph using higher-order-logic theorem proving.
Qasim U, Rashid A, Hasan O. Qasim U, et al. ISA Trans. 2022 Sep;128(Pt B):453-469. doi: 10.1016/j.isatra.2021.11.042. Epub 2021 Dec 11. ISA Trans. 2022. PMID: 34972543
Formal methods, in particular, higher-order-logic theorem proving, can overcome the shortcomings of these traditional methods and provide an accurate analysis of these systems. It has been widely used for analyzing the dynamics of engineering and physical …
Formal methods, in particular, higher-order-logic theorem proving, can overcome the shortcomings of these traditional methods …
Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem.
Lee SH, van Noort D, Yang KA, Lee IH, Zhang BT, Park TH. Lee SH, et al. Lab Chip. 2012 Apr 24;12(10):1841-8. doi: 10.1039/c2lc20677c. Epub 2012 Mar 22. Lab Chip. 2012. PMID: 22441410
Biomolecules inside a microfluidic system can be used to solve computational problems, such as theorem proving, which is an important class of logical reasoning problems. ...Then, a novel sequential reaction mixing method in a microfluidic chip was designed t …
Biomolecules inside a microfluidic system can be used to solve computational problems, such as theorem proving, which i …
Formal verification of Matrix based MATLAB models using interactive theorem proving.
Gauhar A, Rashid A, Hasan O, Bispo J, Cardoso JMP. Gauhar A, et al. PeerJ Comput Sci. 2021 Mar 22;7:e440. doi: 10.7717/peerj-cs.440. eCollection 2021. PeerJ Comput Sci. 2021. PMID: 33834107 Free PMC article.
MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences. Traditionally, the analysis of MATLAB models is done using simulation and debuggin …
MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze sy …
Formal reasoning about synthetic biology using higher-order-logic theorem proving.
Abed S, Rashid A, Hasan O. Abed S, et al. IET Syst Biol. 2020 Oct;14(5):271-283. doi: 10.1049/iet-syb.2020.0026. IET Syst Biol. 2020. PMID: 33095748 Free PMC article.
Conventionally, the analysis of these biological systems is performed using paper-and-pencil proofs and computer simulation methods. However, these methods cannot ensure accurate results due to their inherent limitations. Higher-order-logic (HOL) theorem proving …
Conventionally, the analysis of these biological systems is performed using paper-and-pencil proofs and computer simulation methods. …
Formal reasoning about systems biology using theorem proving.
Rashid A, Hasan O, Siddique U, Tahar S. Rashid A, et al. PLoS One. 2017 Jul 3;12(7):e0180179. doi: 10.1371/journal.pone.0180179. eCollection 2017. PLoS One. 2017. PMID: 28671950 Free PMC article.
System biology provides the basis to understand the behavioral properties of complex biological organisms at different levels of abstraction. Traditionally, analysing systems biology based models of various diseases have been carried out by paper-and-pencil based pr …
System biology provides the basis to understand the behavioral properties of complex biological organisms at different levels of abst …
24 results